|
After definition of the entity class receiver, the message passing tool which generates a class type for each method of receiver can be started. Additionally the message passing tool generates send and receive procedures for communication. The generated class types and the send/receive procedures can be used by another entity class (sender) which needs the service of receiver.
The package new_messages contains the class types which represent the messages and the send/receive procedures which have been generated by the message passing tool. |
architecture a of sender is
The names of the send/receive procedures are extended by a postfix _XXX where XXX means that the procedure corresponds to the XXX method. The in/inout parameters of the XXX method are given as parameters to the send method (a,b). The receive procedure has the inout/out parameters of the XXX method as parameters (a,b,c). The last parameters of the send/receive procedures are the communication channels. |